Lean Game Server
Leanの学習ゲーム集
https://adam.math.hhu.de/
Natural Number Gameなど